Logics for Legal Dynamics
نویسندگان
چکیده
Legal dynamics is an important aspect of legal reasoning that inspired the area of belief revision. While formal models of belief revision have been thoroughly examined, the formalisation of legal dynamic has been mostly neglected. In this contribution we propose Temporal Defeasible Logic to model legal dynamics. We build such a logic in steps starting from basic defeasible logic, and we show how to use it to model different forms of modifications such as derogations, textual modifications, abrogation and annulment.
منابع مشابه
Automated Deduction for Deontic Logics: Laying the Foundations of Legal Expert Systems
ABSTRACT: Deontic logic can be used to formalise legal rules. The automation of reasoning in deontic logic can therefore be used as the basis of a legal expert system. In this paper we investigate the automation of deontic logic using tableau calculi for modal logics. The correspondance between the deontic and modal logics is outlined and the tableau for the modal logics used in the prover are ...
متن کاملAccommodating the Interactional Dynamics of Conflict Management
In this paper, we discuss the ways that communication accommodation theory (CAT) can be a useful framework for understanding and diagnosing interactional issues in interpersonal and intergroup conflict situations. We argue that the theory’s construct of attuning strategies provides a multidimensional view of mutual adjustment, leading to insights relevant to successful versus unsuccessful confl...
متن کاملAn ASPIC-based legal argumentation framework for deontic reasoning
In the last years, argumentation theory has been exploited to reason about norms, argue about enforced obligations and permissions, and establish the validity of norms seen as argumentative claims. In this paper, we start from the dynamic legal argumentation framework recently proposed by Prakken and Sartor, and we extend their ASPIC-based system by introducing deontic modalities, to include al...
متن کامل(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare
Recent years have witnessed a parallel and seemingly contradictory trend towards both the standardization and the customization of healthcare and medical treatment. Here, we explore what is meant by ‘standardization’ and ‘customization’ in healthcare settings and explore the implications of these changes for healthcare delivery. We frame the paradox of these divergent and opposing factors in te...
متن کاملTowards a Legal Reasoning System based on Description Logics: A Position Paper
Legal reasoning is concerned with various kinds of legal concepts that relate to another concepts used in our daily life. Although those legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand them as real things at least in their "legal reality". For instance, Japanese Civil Codes include a notion of falsity t...
متن کامل